1,729 research outputs found

    Rural children are more likely to live in cohabiting-couple households

    Get PDF
    As cohabiting increases nationwide, new data show that the growing rate of children in these households is most pronounced in rural areas. This brief analyzes recent U.S. Census Bureau data to explore these trends and patterns

    Runtime Verification of Temporal Properties over Out-of-order Data Streams

    Full text link
    We present a monitoring approach for verifying systems at runtime. Our approach targets systems whose components communicate with the monitors over unreliable channels, where messages can be delayed or lost. In contrast to prior works, whose property specification languages are limited to propositional temporal logics, our approach handles an extension of the real-time logic MTL with freeze quantifiers for reasoning about data values. We present its underlying theory based on a new three-valued semantics that is well suited to soundly and completely reason online about event streams in the presence of message delay or loss. We also evaluate our approach experimentally. Our prototype implementation processes hundreds of events per second in settings where messages are received out of order.Comment: long version of the CAV 2017 pape

    Predicting in-hospital mortality and unanticipated admissions to the intensive care unit using routinely collected blood tests and vital signs: development and validation of a multivariable model.

    Get PDF
    AIM: The National Early Warning System (NEWS) is based on vital signs; the Laboratory Decision Tree Early Warning Score (LDT-EWS) on laboratory test results. We aimed to develop and validate a new EWS (the LDTEWS:NEWS risk index) by combining the two and evaluating the discrimination of the primary outcome of unanticipated intensive care unit (ICU) admission or in-hospital mortality, within 24 hours. METHODS: We studied emergency medical admissions, aged 16 years or over, admitted to Oxford University Hospitals (OUH) and Portsmouth Hospitals (PH). Each admission had vital signs and laboratory tests measured within their hospital stay. We combined LDT-EWS and NEWS values using a linear time-decay weighting function imposed on the most recent blood tests. The LDTEWS:NEWS risk index was developed using data from 5 years of admissions to PH, and validated on a year of data from both PH and OUH. We tested the risk index's ability to discriminate the primary outcome using the c-statistic. RESULTS: The development cohort contained 97,933 admissions (median age = 73 years) of which 4,723 (4.8%) resulted in in-hospital death and 1,078 (1.1%) in unanticipated ICU admission. We validated the risk index using data from PH (n = 21,028) and OUH (n = 16,383). The risk index showed a higher discrimination in the validation sets (c-statistic value (95% CI)) (PH, 0.901 (0.898-0.905); OUH, 0.916 (0.911-0.921)), than NEWS alone (PH, 0.877 (0.873-0.882); OUH, 0.898 (0.893-0.904)). CONCLUSIONS: The LDTEWS:NEWS risk index increases the ability to identify patients at risk of deterioration, compared to NEWS alone

    Seasonal variability of the warm Atlantic Water layer in the vicinity of the Greenland shelf break

    Get PDF
    The warmest water reaching the east and west coast of Greenland is found between 200?m and 600?m. Whilst important for melting Greenland's outlet glaciers, limited winter observations of this layer prohibit determination of its seasonality. To address this, temperature data from Argo profiling floats, a range of sources within the World Ocean Database and unprecedented coverage from marine-mammal borne sensors have been analysed for the period 2002-2011. A significant seasonal range in temperature (~1-2?°C) is found in the warm layer, in contrast to most of the surrounding ocean. The phase of the seasonal cycle exhibits considerable spatial variability, with the warmest water found near the eastern and southwestern shelf-break towards the end of the calendar year. High-resolution ocean model trajectory analysis suggest the timing of the arrival of the year's warmest water is a function of advection time from the subduction site in the Irminger Basin

    On the threshold of flow in a tight natural rock

    Get PDF

    Neoliberalisation and 'lad cultures' in higher education

    Get PDF
    This paper links HE neoliberalisation and ‘lad cultures’, drawing on interviews and focus groups with women students. We argue that retro-sexist ‘laddish’ forms of masculine competitiveness and misogyny have been reshaped by neoliberal rationalities to become modes of consumerist sexualised audit. We also suggest that neoliberal frameworks scaffold an individualistic and adversarial culture among young people that interacts with perceived threats to men’s privilege and intensifies attempts to put women in their place through misogyny and sexual harassment. Furthermore, ‘lad cultures’, sexism and sexual harassment in higher education may be invisibilised by institutions to preserve marketability in a neoliberal context. In response, we ask if we might foster dialogue and partnership between feminist and anti-marketisation politics

    From Regular to Chaotic States in Atomic Nuclei

    Full text link
    An interesting aspect of nuclear dynamics is the co--existence, in atomic nuclei, of regular and chaotic states. In the first part of the present work, we review the state of the art of nuclear dynamics and use a schematic shell model to show how a very simple and schematic nucleon--nucleon interaction can produce an order→\tochaos transition. The second part is devoted to a discussion of the wave function behaviour and decay of chaotic states using some simple models (to be published in Rivista Nuovo Cimento).Comment: 65 pages, LaTex (the figures are not included), Preprint DFPD/94/TH/26, University of Padov
    • 

    corecore